21. CAD/CAM in Practice :
پدیدآورنده: by A.J. Medland, Piers Burnett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
22. CAM :
پدیدآورنده: edited by D. Kochan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
23. COMPSTAT 1982 5th Symposium held at Toulouse 1982 :
پدیدآورنده: edited by H. Caussinus, P. Ettinger, R. Tomassone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Statistics.
رده :
QA276
.
4
E358
1982
24. Chemical Structures :
پدیدآورنده: edited by Wendy A. Warr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry.,Electronic data processing.
رده :
QD471
.
E358
1988
25. Computational Electromagnetic
پدیدآورنده: / by Thomas Rylander, Par Ingelstr?╢m, Anders Bondeson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Numerical analysis,Computer engineering,Electronic books
رده :
E-BOOK
26. Computational Methods in Stochastic Dynamic
پدیدآورنده: / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer science,Vibration,Electronic books
رده :
E-BOOK
27. Computational science and its applications - ICCSA 2003 / 3.
پدیدآورنده: Vipin Kumar ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
28. Computer Aided Design :
پدیدآورنده: by José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TA174
.
B956
1990
29. Computer Aided Optimal Design:
پدیدآورنده: edited by Carlos A. Mota Soares.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TA174
.
E358
1987
30. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده: by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Biology_xData processing.,Computer-aided design.
31. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
32. Computer Algebra :
پدیدآورنده: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
33. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
پدیدآورنده: edited by William F. Eddy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory).,Mathematics.,Statistics.
34. Computer-aided graphing and simulation tools for AutoCAD users /
پدیدآورنده: P.A. Simionescu, Texas A&M University, Corpus Christi, USA
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-aided design.,Computer-aided engineering.,Graphic methods-- Data processing.
35. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
پدیدآورنده: / edited by Isil Dillig, Serdar Tasiran.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
36. Computer algebra in scientific computing :
پدیدآورنده: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
37. Computer-based Numerical and Statistical Techniques.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering mathematics-- Data processing.,Engineering mathematics-- Data processing.
رده :
TA345
.
G695
2007eb
38. Computer engineering and technology :
پدیدآورنده: Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering, Congresses.,Information technology, Congresses.,Computer engineering.,Information technology.
رده :
TK7885
.
A1
39. Computer performance evaluation :
پدیدآورنده: Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- optimizacija računalnika -- programska orodja -- zmogljivost -- računalniške mreže -- merjenje -- algoritemske tehnike -- Petrijeve mreže -- zborniki
رده :
QA76
.
9
.
E94
R366
1998
40. Contributions to Quantitative Linguistics :
پدیدآورنده: edited by Reinhard Köhler, Burghard B. Rieger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computational linguistics.,Linguistics.
رده :
P138
.
E358
1993
